perm filename NONMON[F86,JMC] blob sn#829341 filedate 1986-11-27 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	nonmon[f86,jmc]		More notes on nonmonotonic reasoning
C00003 ENDMK
CāŠ—;
nonmon[f86,jmc]		More notes on nonmonotonic reasoning

1986 Nov 27

models(i,db): i is a model of the database  db
avail(db): db contains all the relevant information available
prefer(i1,i2,db): If  db  is all the relevant information available,
then the model  i1  of  db  is preferred to the model  i2  of  db.

i1  agrees with  i2  except for ...